例句與造句

1. Boolos argued that monadic quantification may be systematically interpreted in terms of plural quantification, and that, therefore, 2nd-order monadic quantification is " ontologically innocent ".
2. Lewis's monograph, " Parts of Classes " ( 1991 ), on the foundations of mathematics, sketched a reduction of set theory and Peano arithmetic to mereology and plural quantification.
3. George Boolos argued that much of what has been heretofore obtained by set theory can just as easily be obtained by plural quantification over individuals, without reifying sets as singular entities having other entities as members.
4. Additionally, he is the author of the articles " " Plural Quantification " " and " " Platonism in the Philosophy of Mathematics " " in the " Stanford Encyclopedia of Philosophy ".
5. In recent years second-order logic has made something of a recovery, buoyed by George Boolos'interpretation of second-order quantification as plural quantification over the same domain of objects as first-order quantification ( Boolos 1984 ).
6. It's difficult to find plural quantification in a sentence. 用plural quantification造句挺難的
7. This book reprints much of Boolos's work on the rehabilitation of Frege, as well as a number of his papers on set theory, second-order logic and nonfirstorderizability, plural quantification, proof theory, and three short insightful papers on G鰀el's Incompleteness Theorem.
8. The term was coined by George Boolos in his well-known paper " To Be is to Be a Value of a Variable ( or to Be Some Values of Some Variables ) . " Boolos argued that such sentences call for second-order symbolization, which can be interpreted as plural quantification over the same domain as first-order quantifiers use, without postulation of distinct " second-order objects " ( properties, sets, etc . ).